Skip to main content

Full text of "Symmetries of 2nd order ODE: y'' + G(x)y' + H(x)y = 0"

See other formats








Symmetries of 2nd order ODE: 
/ + G{x)y' + H{x)y = 0. 

Mehdi Nadjafikhah* Seyed-Reza Hejazi^ 



r~| . This paper is devoted to study the Lie algebra of hnear symmetries 

j^ I of a homogenous 2nd order ODE, by the method of Kushner, Lychagin 

and Robstov [1]. 

Key Words: linear differential equation, differential operator, symmetry. 
"> ■ A.M.S. 2000 Subject Classification: IWxx, 32Wxx , 76Mxx. 

00 ■ 

O Introduction 


O I Symmetries of differential equations make a magnificent portion in theory of 

differential equations, and there are so much researches in this object. Here 
we are going to decompose the structure of Lie algebra of linear symmetries 
of ODE, y" + G{x)y' + H{x)y = 0, where G and H are smooth functions of 
x, to two subalgebras which are called even and odd symmetries of ODE. 

5^ I First the meaning of even and odd symmetries for a differential operator 

is given, next we will find these two concepts for the differential operator 
corresponding to ODE instead of the equation itself. Reader is referred to 
[2] and [3] for some fundamental contexts in geometry of manifolds and their 
applications to theory of differential equations. 

* Department of Mathematics, Iran University of Science and Technology, Narmak, 
Tehran, I.R.Iran, e-mail: m_ 
^e-mail: reza_ 

1 Symmetries of ODEs 

Consider a general n— th order differential equation A = which is defined 
on n— th jet space of p independent and q dependent variables. As we know 
a symmetry of the system of above differential equation means a point (or 
contact) transformation which maps solutions to solutions. In the case of 
point transformation, the infinitesimal generator v from a Lie algebra g cor- 
responding to group transformation makes a symmetry of A = 0, if its n— th 
prolongation annihilate A, i.e., v*^"^(A) = 0. See [2] and [3] for more details 
of symmetries of differential equations. It is noteworthy that all manifolds, 
vector fields, differential forms and... are seem to be smooth in the sequel. 

1.1 Generating Functions 

Let us consider an ODE of {k + 1)— th order which is resolved with respect to 

the highest derivative: |/(^+^) = F(x,y,y', ...,y'^^^). This equation determines 

a one-dimensional distribution on the k—th jet space with one independent 

variable x with coordinate {x,y = po,pi, ...,pk), which is generated by the 

vector field 

^ d d d ^ d 

ox dpo opk-i opk 

or by the contact differential 1-forms 

oj^ = dpo — pidx, • • • , co^ = dpk^i — Pkdx, cj*^"*"^ = dpk — Fdx. 

Consider a vector field X on manifold M, X is called a symmetry of the 
distribution P, if the distribution is invariant under the flow of X. Denote 
by Sym(P) the set of all symmetries id P. If X belongs to P then it is called 
a characteristic symmetry and the set of all characteristic symmetries of X 
is denoted by Char(P) which makes an ideal of Sym(P). 

Definition 1.1.1 The quotient Lie algebra 

Shuf(P) = Sym(P)/Char(P), 
is called the set of shuffling symmetries of P. 

Therefore any shuffling symmetry S G Shuf(P) has a unique representative 
of the form 

^ = /t^ + W)7^ + • ■ • + ^'(/)/-, 

opo OPl OPk 

where / is a smooth functions of (a;,po?Pi, ...iPk) and P* = I?(I?*^^), for the 
reason see [1]. The function / is called a generating function of the symmetry 
S and we write Sf instead of S. Therefore, Sf is a shuffling symmetry of 
the ODE if and only if the generation function / satisfies the following Lie 

Let us denote by A^ : C°^(lR^+2) _^ C'^(r''+'^)^ the following hnear A;-th 
order scalar differential operator: 

which is called the linearization of i/('^+^) = F{x,y,y', ...,y'^^^). 

Theorem 1.1.2 There exist the isomorphism Shuf(P) = kerA^ between 
solutions of the Lie equation and shuffling symmetries. 

The Shuf (P) is a Lie algebra for any distribution P with respect to the 
Poisson-Lie bracket., which is defined in the following way: 


for any f,g^ ker Ap- 

Example 1.1.3 Functions f = a{x,po)pi + b{x,pQ) are generating functions 
of the vector fields on M^ of the form b{x,po)-^ ctix,Po)-§^- 

1.2 Linear Symmetries 

A shuffling symmetry Sf is called a linear symmetry, if the generating func- 
tion / is linear in po, ...,pk, i.e., / = bo{x)pQ + • ■ • + bk{x)pk- With any linear 
symmetry we associate a linear operator A/ = 6o+' ■ ■+bkd'', where d = d/dx, 
and we rewrite the Lie equation for linear symmetries in terms of the algebra 
of linear differential operators. 

Lemma 1.2.1 For any linear differential operator A = aQ + ■ ■ ■ + and"" and 
L = Iq + ■ ■ ■ + Ikd^ + c^'^+i there are unique differential operators Ca and Ra 
of order < n — k — 1 and < k respectively such that A = Ca o L + Ra- 

Here we have a very important theorem: 

Theorem 1.2.2 [1] A differential operator Aj = bo + ■ ■ ■ + hkd^ corresponds 
to a shuffling symmetry f = 6oPo + " ■ ■ + bkPk of the linear differential equation 
L{h) = 0, where L = Aq + ■ ■ ■ + A^d^ + d^^^ , if and only if there is a 
differential operator V/ of order k and such that L o Aj = V/ o L. Moreover, 
the commutator [/, g] of linear symmetries corresponds to the remainder R 
of division [Aj, A^] by L; that is, R[Aj>,Aa] ~ ^[/.s]- 

Denote by 23 (L) the Lie algebra of all differential operators A such that 
L o A = V o L, for some uniquely determined differential operator V. If 
Sym(L) denote the Lie algebra of linear symmetries of differential operator 
L, then we have 

Theorem 1.2.3 1. If A e %{L) then Ra e Sym(L). 

2. The residue map R : 23 (L) -^ Sym(L), is a Lie algebra homomorphism. 

2 Linear Symmetries of Operators 

The differential operator 


L^ = (_i)fe+i5^'+i + ^(-1)^9' o Ai, 


is said to be adjoint to the operator 


L = d''+^ + Y.A,d\ (2.1) 


A differential operator L is said to be self-adjoint if L^ = L and skew- 
adjoint if L^ = — T. 

The correspondence A/ ^^ VT establishes an isomorphism between linear 
symmetries of the differential equation L{h) = and linear symmetries of 
the adjoint equation L'^iji) = 0. 

2.1 Z2— Grading on *b(L) 

Let us now assume that L is self-adjoint or skew-adjoint. Then if A G S(L) 

so V'^ does. 

using the involution we can decompose 5B(L) is to the direct some: 

^(L) = %q{L)®^i{L) 


<Bo(L) = {A: LoA = -A^oL}, 
»i(L) = {A: LoA = A^oL}. 

We will define Zs-parity £:(A) = G Z2 for A G <8o(-^) and £(A) = 1 G Z2 
for A G Si(L), and will consider the above decomposition as Z2— grading on 

Theorem 2.1.1 Let L he a self or skew- adjoint differential operator. 

1. Then the commutator of operators determines a Lie algebra structure 
on 5B(L), such that 

[A„,A6] e^a+b{I^) 

zfAa G S„(L), Afc G ^biL), a, be Z2. 

2. Let Sym(L) be the Lie algebra of Linear symmetries of operator L, and 
Sym„(L) = R{^aiL)) for a G Z2 and Symfe(L) = R{^b{L)) for b G Z2. 
Then Sym(L) = SymQ(L) ® Sjm.-^^{L) and 

[Sym„(L),Symfe(L)] C Sym^+ft(L). 

We call elements of Symg(L) by even symmetries and elements of Syni]^ (L) 
by odd symmetries of the equation L{h) = 0. 

2.2 Symmetries of Operator d^ + G{x)d + i7(a:) 

In this part we apply the results to the corresponding operator of 2nd ODE 

y"^G{x)y' + H{x), (2.2) 

It is easy to see that in order two one has only self adjoint operator, thus the 
following operator is self adjoint and consequently, we will work on 

d^ + G{x)d + H{x), 


instead of equation 2.2. This operator is self adjoint. Therefore the algebra 
of linear symmetries in Z2— graded. 

Let us begin with SymQ(L). If A = Aq + Aid & SymQ(L) then we have 
L o A = -A^ o L. If A^ = Ao- A[ - Aid then 

LoA = Aid^ + {Ao + 2A'i + AiG)d^ 

+ [2A'o + A'; + G{Ao + A[) + AiH 

+A[; + GA'^ + HAq, 

-Aid^ + {Aq - A'l - AiG)d^ 


A' oL 

G{Ao - A[) - Ai{G + G') 
HiAo - A[) - AiH'. 


Therefore, A G SymQ(L) implies Aq = — 2^1 ^^'i the function Ai = w should 
satisfy the following differential equation: 

w'" + (2H -G^ - 2G')w' + (h' - GG' - G")w = 0. (2.4) 

We denote the differential operator corresponding to (2.4) by: 

L = ^ + (2H-G^ - 2G") d+[H' - GG' - G") . (2.5) 

If A e Sym^(L) then Lo A = A^ oL and we obtain Ai = and A'q = 0. Thus 
A e Sym]^(L) is and only if A proportional to the identity operator. Finally 
we have the following theorem which is a generalization of the theorem 2.5.1 

Theorem 2.2.1 The Lie algebra of linear symmetries of the differential op- 
erator (2. 5) has the following description: 

1. Symo(L) = [-\w' + wd: L{w) = o}. 

2. Symi(L) = R. 

Example 2.2.2 Let us suppose that in (2.3) we have G{x) = 0. Thus the 
new operator is called Schrodinger operator. It is possible to see that the 
even symmetries of Schrodinger operator is isomorphic to the Lie algebra 
s/(2). And of course the Schrodinger operator does not have any nontrivial 
odd symmetries. 


[1] KusHNER, A,. Lychagin, V. AND RoBSTOV, V., Contact Geome- 
try and Non-Linear Differential Equations, Cambridge University Press, 
Cambridge, 2007. 

[2] Olver, p. J., Equivalence, Invariant and Symmetry, Cambridge Univer- 
sity Press, Cambridge 1995. 

[3] Olver, P. J., Applications of Lie Groups to Differential equations. Sec- 
ond Edition, GTM, Vol. 107, Springer Verlage, New York, 1993.